home *** CD-ROM | disk | FTP | other *** search
-
- MODULAR SB-PROLOG
- =================
-
- The following overviews the files in this directory :
-
- sim/ This is the C sources of the Prolog system.
-
- modlib/ The Prolog interpreter. (Machine independent
- compiled Prolog files.)
-
- modlib/src/ The sources of the modlib/ directory. Should these sources
- need to be recompiled, simply enter this directory
- and type `makeall'.
-
- cmplib/ The compiler. Machine independent compiled Prolog files.
-
- cmplib/src/ The compiler sources. Should the compiler
- need to be recompiled, simply enter this directory
- and type `makeall' followed by `source catf'.
-
- lib/ The Prolog system library. (Machine independent compiled
- Prolog files.)
-
- lib/src/ The system library sources. Should these sources
- need to be recompiled, simply enter this directory
- and type `makeall'.
-
- bench/ SB-Prolog benchmark programs.
-
- Examples/ Several Modular SB-Prolog example programs.
-
- Documentation/
- Contains all the Modular SB-Prolog documentation.
-
- Documentation/SB_Prolog_Doc/
- The original SB-Prolog manual.
-
- Documentation/Modular_Prolog_Doc/manual.ps
- The new Modular Prolog manual (Postscript)
-
- Documentation/Modular_Prolog_Doc/report.ps
- The report which describes the work done on Modular Prolog.
- (Postscript)
-